#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#include<limits.h>
char string_buffer[LINE_MAX];
char* pgets();
